$\vdash$  $\forall$$P$:($\mathbb{B}\rightarrow\mathbb{P}$). $P$(ff) $\Rightarrow$ $P$(tt) $\Rightarrow$ \{$\forall$$b$:$\mathbb{B}$. $P$($b$)\}